COMMENT ⊗   VALID 00008 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	Contents of notebooks
C00003 00003	1985 Sept 19 - 1986 Mar 21
C00009 00004	1986 Mar 22 - 1986 Aug 14
C00014 00005	1986 Aug 14 - 1986 Dec 4
C00018 00006	1986 Dec 4 - 1987 May 6
C00021 00007	1987 july 12 - 1987 Oct 5
C00026 00008	1988 Mar 1 - 1988 June 20
C00031 ENDMK
C⊗;
Contents of notebooks
1985 Sept 19 - 1986 Mar 21

1 - situation calculus for concurrent events

3 - notes from studying Davenport's Higher Arithmetic

5 - Lifschitz circumscription

9 - Should the reasoner be restricted in the conclusions that it draws
or should we restrict the language by adding premisses about goals
to rules?

11 - Parametric model theory

13 - Aero-astro exam of Unver Kaynak

15 - VAL Seminar

17 - fragment on normality logic

19 - Theory of homosexuality - thru p.29 and 33

31 - limiting the cold war

37 - Can MYCIN be improved to make prognoses and do planning or must
it be rewritten?  Is EMYCIN inherently limited?

39 - Mental situation calculus

43 - Workable socialism

45 - Princeton lecture on common sense knowledge and reasoning

47 - Democratizing the right of initiative

55 - U. Michigan lecture on "The logical approach to AI"

57 - abstractions of hill-climbing

59 - visit to Thinking Machines, connection machine

61 - American Academy meeting on AI issue of Daedalus

65 - connection machine

67 - VAL seminar on STRIPS, notes on prevention and normality

71 - mcc conversation with Boyer

73 - Do it with comprehension

75 - Gert Smolka lecture at MCC

77 - notes for hosting SDI debate

81 - blocks heuristics - promptness lemmas and postponability lemmas

85 - meeting with DARPA here, Bob Simpson and Alan Sears

87 - Grosof seminar on Hanks and McDermott

91 - pointwise circumscription

93 - abnormality

95 - Histories and situation calculus, history

97 - abnormality in situation calculus

99 - start on article on mathematical logic and ai

101 - improving instructinal tv

103 - ucla, standard action structure obtained nonmonotonically from axioms
of situation calculus

105 - cosmos, notes on lecture or book by she? Probably on the
notes for VTSS lecture. a loser

109 - Waldinger on blocks world

111 - Task ordering

113 - The solution to a problem should be an add-on to its statement.

115 - proposal for workshop on foundations of AI

117 - reification, "the bacteria in the container"

119 - The Mind's new science by Howard Gardner, cont. p 133

121 - notes for common sense lecture of some kind

123 - abnormality and contexts

126 - Las Cruces workshop on local visions of Mary - humor

129 - AI as a science is the study of systems that achieve goals
in the common sense world.  As in other sciences, there are hypotheses
that can be objectively tested by experiment and by theoretical
reasoning from premisses.

133 - more notes on Gardner

137 - Lashleyan experiment

139 - mcc lecture on contexts

141 - complexity of most concise boolean expression may be natural concept

143 - relations in common sense of various arities

145 - unsolved common sense formalization problems

147 - a bit more Gardner

149 - deal broker proposer as expert system.  It reads bboards.

151 - The easy case of reaching agreement among competing experts

155 - Jerry Hobbs lecture

157 - Asilomar knowledge conference

159 - notes for lecture on knowledge

163 - abstracts of papers I wish were presented

167 - mental actions

169 - logical omniscience

171 - postdoctoral fellowships in AI

177 - formalized contexts

179 - avoiding Montague paradoxes

181 - common sense reasoning about knowledge - air travel

183 - supernatural deduction and contexts -worth putting in file


1986 Mar 22 - 1986 Aug 14

0 - The seven bad ideas of computing

1 Idea on formalizing knowledge to avoid the paradoxes - punctured by VAL.

3 Can qlisp make synchronization invisible?

5 More of idea on formalizing knowledge

7 re Winograd and Flores

9 remark on contexts

10 expressing Sue Walker Toledo's problem as a linear programming problem

11 grumble about programs as theories

13 notes on "but" as circumscription

17 notes for talk on AI ideas at DARPA

19 dialog with SHRDLU for reply to Winograd

21 Searle

23 improv.ess improving humans

27 notes on Kowalski and Sergot "A logic based calculus of events"

33 proposal for fixing KS86 event calculus

41 my try at event calculus

45 applications of circumscription to formalizing contexts

47 normality logic - apr 16

57 Notes on context

61 give example of belief preference depending on state of mind

62 suggestions for foundation conference

63 ref to paper on verifying prolog progs

65 causality

67 papert talk

69 Batali talk

73 Konolige on default theories and auto-epistemic logic

75 notes for review of Roszak

77 notes form Citizen's Advisory Council on Space - Pournelle

79 privatizing the Global Positioning System GPS

85 notes for DARPA talk

91 Inference SAB May 16
	Everett Lyons replacing Win Royce

95 suggested Lisp problem about probabilities

97 VTSS Ireland

99 Resourceful Earth by Julian Simon and Herman Kahn

101 Tragedy of Fred
	prove it's not doable with a simple abnormality theory
	minimize unknown events

105 try at sonnet

107 two kinds of abnormality

109 notes on baby Timothy

113 minimizing features rather than abnormality

115 databases and causality

119 strong reflection principle

121 june 22 taking certain sentences into account

123 anomalies(I,db)

125 June 27 MAD meeting

127 minimize unsupported abnormalities
	(see Apt, Blair Walker)

129 McDermott's lament

135 what to minimize

139 When the models obtained from making a certain class of substitutions
are all extendable.

141 notes for discussion

143 discussion with VAL about McDermott's lament

147 reservation for two at Timberline Lodge

149 harangued MRG about contexts

151 july 2 Blocks world planning ideas

153 hill climbing in situation calculus

155 pointwise description of birds

157 pointwise description of Fred

159 STRIPS strategy

165 extendability again

167 pedigreed logic

169 endings to Sive (a play we saw at the Abbey Theater)

185 SE2 meeting on Chernobyl
 cherno[e86,jmc]

193 Stallman re ebos

195 formalizaton of prediction of results of events

197 How much can technology do?

199 Generalities about persistence and stopping
1986 Aug 14 - 1986 Dec 4

3 - Tragedy of Fred McDermott

5 - Nothing unsupported is true, etc.

7 - 21 - Hanks and McDermott
incorporating model theory in the logic

23 - note on takeuchi function

27 - draft letter to NYT

29-35 - Chernobyl meeting cherno.2[e86,jmc]

37 - Start of a letter to Todorovich

39 - more on Chernobyl meeting

40-41 events, processes, conditions, states, fluents, situations
cont. p.67

43-55 Draft letter to Dana Scott about Moscow meeting

57 - Moscow meeting

61 - draft abstract for Moscow meeting

65 - Letter to Haley (Sununu's press secretary) not sent.

67 - continuation on events, processes, etc.

71 - notes for meeting with Iris Brest about Mosher

73 - Causes, etc.

77 - Fred with event types

79 - blood pressures

81 - Proposal that death penalty opponents support condemned men indefintely.

85 - meeting with Genesereth group

87 - Notes for talk with Mosher

89 - relation between internal state and uttering an English sentence

91 - Thought about weizenbaum, and fiddle with puzzle problem

93 - contexts

95 Sept 29 Inference SAB

97 csd meeting, theory billet

99 - The reasoning that an idea is good is non-monotonic.

101 - prolog exercise from STerling and Shapiro

103 - Halmos seminar

109 - VAL lecture

111 - Halmos problem, puzzling out Gosper's idea

113 - Approximately generic points.  Re ideals.

117 evolution of theories

119 - Halmos seminar

127 - fixing s&s bug

129 - qlisp problem

131 - Halmos seminar

137 - causes and databases

139 - Halmos problem

147 - VAL seminar

149 - discrete causal systems, and causality

151 - The Mosher case as missed opportunity

153 - The assumption that all relevant facts have been mentioned.

155 - Yale shooting

159 - Digital library meeting

161 Notes on Shoham

163 - Halmos

167 - Notes for lecture on contexts

169 - counterfactuals and causality

171 - VAL seminar

173 - generalization of chronologial minimization in terms of mappings.

175 - Letter to Petr Beckmann

183 - ad on Silver Reed Porta Copy portable copier
	6 3/8 x 4  800 252-7760 in CA., 3" wide copy

185 - mental situations

187 - Elephant with reification of states permits a fully compact
	logical expansion of programs.

188 - idea about catching women spies

189 - Franklin's whale

191 - what orderings can be minimized by circumscription?

193 - Halmos

1986 Dec 4 - 1987 May 6

3 Elephant

5 the pressure depends on the volume

7 Fran Allen lecture

9 Fred

11 Approximate theories

13 AI as computer science.  AI vs. optimization

21 Fred

23 Logic and AI

35 Agreements with the Soviet Union

39 AI and logic

45 postponability, mental states

47 suggestions for industrial lectures

49 McDermott on Berliner position

53-57 notes for DARPA proposal

59 VAL lecture

61 discussion with Buckley about proposal

63 crisis in arms control

65 productivity seminar

67-75 AI and logic

77 context

79-81 Telerobotics, TTAC

83 ships, obstacles

85 queue based computing

87 telerobotics, ttac

91 Konolige lecture

93-95 NTT lisp machine, Hibino lecture

97 More Konolige

99 Did Wellington hear - for exam

103 stratified circumscription

105-120 Dartmouth conference dartmo[s87,jmc]

123 finitization

125 Carolyn Kyoto lecture

127 absolute proof

129 match using catch

131 ekl and continuity

133-137 letter to Eichii Goto

139 briefcase problem

141-145 mental hill climbing

147 dogs and trash cans problem

149 cbcl for icot

151 icot lecture

153 stratified circumscription

155 common sense knowledge

157 sendai lecture

159-161 quantum theory of light

163 frame conference, Kansas

165-169 normality logic

171 logic vs. simulation

173 normality logic

175-177 frame conference

179 normality

181 long beach lecture

183 math note

185 mad april 25

187 notes to do

189 Staar conference on computers in USSR

191 philosophical pretensions of AI

193 stratified circumscription

195 briefcase problem

197 Hodges address

198 list of promises
1987 july 12 - 1987 Oct 5

5 elaboration tolerance

7 ai for symbolics panel

11 july 16, troubles re Moscow

13 july 20, minimal interpretations of non-interpretable sentences

15 Quine on natural kinds in "epistemological relativity"

17 quote - The possibilities for rationalization are endless,
and it is this dynamic that protects the belief system from
falsification - Wad Davis, interview in Am. Sci. July-Aug 1987, p. 415

19 frame problem

21 can the ordering of abs involve other predicates?

23 1. socialism is congenial to ..., 2. sit. calc. 3. give initial take home
exam in ut course, 4. Sarah as my agent for speeches, 5. ask Karlin or arrow
about concept of powerful position

25 notes for moscow talk

27 maximal reification, etc.
	normalcolor(elephants) = gray

29 Mikhailov, Valery Yurevich, Kazan University

31 moscow schedule of some talks

33 postponement and other sit. calc topics

35 notes for conversation with Ershov re acm

39 Addresses including Shalyutin
phones: (val aunt 255-5418) (Mints wife Moscow, 134-3734) (Cosmos Hotel 217-0886)

43 meta-epistemology

45 cryptic notes on Shanin talk

47 Paducheva, E. V. 125080 Moscow, ul. Alabjana 10, kv. 168
papers relevant to natural language

49 the usual algol 50 program

53 addresses Rodman, (acad. sci. arranger Davidov, vlad. valent.), gelfand, ershov novosibirsk

55 acm

57 Novosibirsk notes, Kotov and A. G. Marchuk

63 epistemological problems of ai

67 physics as a continuation of politics by other means

69 young conservatives of texas, patrick o'daniel, horace cooper

71 epist prb. ai - lecture 2

73 contexts - how to build firm intellectual structures upon the quicksand
of ill-understood concepts

75 pigeon hole principle

79 notes on wos research problems

81 mutilated checkerboard in set theory

87 set theory

91 Ron and Isabel Lee, 328-4180

93 notes for sdi debate

94 With an inexpensive two man project starting now, DARPA can insure itself
that when the Japanese have the computer, DARPA will have all necessary
excuses.

95 levels of parallel processing

97 discussion with Jack Schwartz at PI meeting

99 program modification language

101 automaton model of can

107 quote

109 piecemeal approach to mind, argument from cryptography

111 minimize reasons or events, notes on McDermott

113 how to ascend to the meta-level

115 sdi debate with Simon Moss

117 pop without having previously pushed as a means of generalizing

118 Suppose the basic object isn't just the database but includes
commentary.

119 notes on zmacs, what computations can be verified by a finite
state machine with one or two or three heads.
1988 Mar 1 - 1988 June 20

7. Leora Morgenstern, lecture, What went wrong?  She doesn't like
frame axioms.

9. ysp based on  take-into-account(phi,x)

11. nonmonotonic strategies

13. can ysp be handled by non-temporal nonmonotonic formalism

17. Principal-agent problem, Paul Milgram, economist, David Kreps business

19. JPL TTAC meeting

21. ysp, making defaults depend on context

23. comments on Computational aspects of JPL's Telerobotics activities
	JPL has resigned itself to too slow systems

33. Jacob Barhen, neural net addict

39. Layman Alan, Computer Power and Legal Reasoning, "but"

41. Newell talk
	Productions aren't rules - but memory accesses - Newell
	I seem to have argued that symbols are often used in
place of access to what they represent.
	Newell claims that decisions are made below the level
that is required to choose an action.

45. Charles Elkan - Automated Inductive Reasoning about Logic Programs

47. ysp

48. our projections of the future are qualitatively different from
our knowledge of the past, i.e. different language

51. notes for general AI lecture - which one?

53. useful notes non contexts

63. The problem of the common sense database, 3pp.

69. some names

71. contexts.  Whether a fluent is time-dependent can be
treated flexibly
a context may prescribe modal logic
an outer context can "express confidence" in an inner context

72 Advanced reasoning methods group, Siemens, Munich

73 members of Biebel group

79 Stoyan comments on Soviet unions paper
residence restrictions, class consciousness part not clear,
 hopeful fact? economic unions more important than political
feudalism (still elective feudalism)

82 Furbach address, Joseph Schneeburger

83 notes for Thomason paper, ai is cs not psychology

85 for discussion at Institute of Philosophy

87 Prediction and planning problems need to be distinguished
	glasno, tax avoidance

93 Roche Harbor
	What is the simplest system in whch there are unexpected
obstacles to be overcome?

95 Feynman, Quantum mechanical computers, study notes only

96 Hintikka - Minimizing Models - An Alternative to circumscription
Journal of Automated Reasoning 4 (1988) 1-13

97 there is nothing else wrong with the boat
	the facts are known except
	the rule is unambiguous except ...
	nromally it's a natural kind

99 one dimensional square wells - avoiding reflection computations
Query - Can reflections be avoided in more complex computational
circumstances?  What a pity Feynman's dead.

105 The Minsky-Levesque specificity conjecture, i.e. that when
a situation is mentions, one imagines it more specifically than
the description warrants.  How to test it?  Tell story about
dog chasing cat around tree, but don't mention colors of
animals or direction of chase.  Then tell second story that
prejudices these points.  The hearer's should split in their
reaction times according to whether they guessed right the
first time.

111 more square wells

113 ysp

115 exotic electrons, ideas related to photo-emission of
conduction electrons

117 long notes on contexts